3

Sequent-based logical argumentation

Year:
2015
Language:
english
File:
PDF, 427 KB
english, 2015
11

Introducing our Authors

Year:
2006
Language:
english
File:
PDF, 439 KB
english, 2006
17

Normative reasoning by sequent-based argumentation

Year:
2015
Language:
english
File:
PDF, 734 KB
english, 2015
20

Space-efficient path-reporting approximate distance oracles

Year:
2016
Language:
english
File:
PDF, 394 KB
english, 2016
25

Logical argumentation by dynamic proof systems

Year:
2019
Language:
english
File:
PDF, 1.63 MB
english, 2019